// The file is empty - for the time being
// Everything OpenMP does is default
